Mittelgeber :
Forschungsbericht : 1994-1996
Tel./ Fax.:
Ziel der Arbeiten ist der Entwurf und die Analyse effizienter algebraischer Algorithmen, die im Gegensatz zum numerischen Rechnen immer exakte Resultate liefern, wenn auch häufig mit sehr viel höherem Zeit- und Speicherbedarf. Basierend auf Polynomrestfolgen über ganz rationalen und algebraischen Zahlen sowie Resultantenalgorithmen stehen Entscheidungs- und nichtlineare Gleichungsprobleme über reell abgeschlossenen und linearen Körpern im Vordergrund der Forschung. Die Algorithmen sind im Zusammenhang einer internationalen Computeralgebrabibliothek, an der die Arbeitsgruppe mitarbeitet, implementiert und frei verfügbar.
INDEX HOME SUCHEN KONTAKT LINKS
qvf-info@uni-tuebingen.de(qvf-info@uni-tuebingen.de) - Stand: 30.11.96